home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
prolog
/
modprolg
/
mod-prol.lha
/
Prolog
/
Documentation
/
SB_Prolog_Doc
/
sbprolog_doc.tex
/
images.pl
< prev
next >
Wrap
Text File
|
1990-07-06
|
7KB
|
192 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q/bf{,;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.41ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img11.png"
ALT="$\bf ,$">|;
$key = q/bf{;;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.70ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
ALT="$\bf ;$">|;
$key = q/bf{<;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.30ex; vertical-align: 161.29ex; " SRC="|."$dir".q|img7.png"
ALT="$\bf <$">|;
$key = q/bf{=..;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.41ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img18.png"
ALT="$\bf =..$">|;
$key = q/bf{=:=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img5.png"
ALT="$\bf =:=$">|;
$key = q/bf{=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.47ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img13.png"
ALT="$\bf =$">|;
$key = q/bf{=<;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img9.png"
ALT="$\bf =<$">|;
$key = q/bf{=backslash,=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.02ex; vertical-align: 162.14ex; " SRC="|."$dir".q|img6.png"
ALT="$\bf =\backslash =$">|;
$key = q/bf{>;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img8.png"
ALT="$\bf >$">|;
$key = q/bf{>=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img10.png"
ALT="$\bf >=$">|;
$key = q/bf{?=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img15.png"
ALT="$\bf ?=$">|;
$key = q/bf{backslash,=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.64ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img14.png"
ALT="$\bf\backslash =$">|;
$key = q/bf{backslash,==;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.89ex; vertical-align: 162.27ex; " SRC="|."$dir".q|img19.png"
ALT="$\bf\backslash ==$">|;
$key = q/bf{is;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.53ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img4.png"
ALT="$\bf is$">|;
$key = q/displaystyleem{False_Case;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img34.png"
ALT="$\displaystyle \em False\_Case$">|;
$key = q/displaystyleem{True_Case;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.11ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img33.png"
ALT="$\displaystyle \em True\_Case$">|;
$key = q/displaystyleem{comp_test;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.53ex; vertical-align: 161.76ex; " SRC="|."$dir".q|img30.png"
ALT="$\displaystyle \em comp\_test$">|;
$key = q/displaystyleem{head;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 5.05ex; vertical-align: 155.51ex; " SRC="|."$dir".q|img27.png"
ALT="$\displaystyle \em head$">|;
$key = q/displaystyleem{test;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.02ex; vertical-align: 162.34ex; " SRC="|."$dir".q|img29.png"
ALT="$\displaystyle \em test$">|;
$key = q/displaystyleem{test_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.92ex; vertical-align: 161.25ex; " SRC="|."$dir".q|img31.png"
ALT="$\displaystyle \em test_{1}^{}$">|;
$key = q/displaystyleem{test_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.04ex; vertical-align: 161.13ex; " SRC="|."$dir".q|img32.png"
ALT="$\displaystyle \em test_{n}^{}$">|;
$key = q/displaystylett{:-;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.66ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img28.png"
ALT="$\displaystyle \tt :-$">|;
$key = q/em{IndexArg^{{{rm{th}}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img21.png"
ALT="$\em IndexArg^{{\rm th}}_{}$">|;
$key = q/em{Type;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.30ex; vertical-align: 160.93ex; " SRC="|."$dir".q|img20.png"
ALT="$\em Type$">|;
$key = q/em{arity_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.17ex; vertical-align: 160.92ex; " SRC="|."$dir".q|img23.png"
ALT="$\em arity_{1}^{}$">|;
$key = q/em{arity_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.24ex; vertical-align: 160.87ex; " SRC="|."$dir".q|img25.png"
ALT="$\em arity_{n}^{}$">|;
$key = q/em{not;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img16.png"
ALT="$\em not$">|;
$key = q/em{pred_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.55ex; vertical-align: 160.60ex; " SRC="|."$dir".q|img22.png"
ALT="$\em pred_{1}^{}$">|;
$key = q/em{pred_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img24.png"
ALT="$\em pred_{n}^{}$">|;
$key = q/em{test_{i}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 161.41ex; " SRC="|."$dir".q|img35.png"
ALT="$\em test_{i}^{}$">|;
$key = q/gg;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.53ex; vertical-align: 162.19ex; " SRC="|."$dir".q|img3.png"
ALT="$\gg$">|;
$key = q/ll;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.28ex; vertical-align: 162.38ex; " SRC="|."$dir".q|img2.png"
ALT="$\ll$">|;
$key = q/scriptstyleem{th;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
ALT="$\scriptstyle \em th$">|;
$key = q/tt{->;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.53ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img17.png"
ALT="$\tt ->$">|;
$key = q/vdots;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img36.png"
ALT="$\vdots$">|;
$key = q/{figure}{{centering{tabbing{{tt{r(X,Y):-p(X,Y),q(Y,Z),!,fail.{tt{|?-r(X,Y);p(X,Y).tabbing{{{}index{"!slash0}index{cut}{figure};LFS=11;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 286.76ex; " SRC="|."$dir".q|img26.png"
ALT="\begin{figure}{\centering
\begin{tabbing}\tt
r(X,Y) :- p(X,Y),q(Y,Z),!,fail. \\\\...
...tt \vert ?- r(X,Y) ; p(X,Y).
\end{tabbing}}\index{''!/0}\index{cut}
\end{figure}">|;
1;